Books by author Gary D. Hachtel

Showing 1 – 6 out of 6 results

1. 

   Logic Synthesis and Verification Algorithms

   Gary D. Hachtel, Fabio Somenzi | Springer, 1996

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   100.83 €

   Buy
2. 

   Logic Minimization Algorithms for VLSI Synthesis

   Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli | Springer-Verlag New York Inc., 2011

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   218.27 €

   Buy
3. 

   Logic Synthesis and Verification Algorithms

   Gary D. Hachtel, Fabio Somenzi | Springer, Berlin, 2006

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   84.22 €

   Buy
4. 

   Logic Synthesis and Verification Algorithms

   Gary D. Hachtel, Fabio Somenzi | Springer-Verlag New York Inc., 2013

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   109.99 €

   Buy
5. 

   Abstraction Refinement for Large Scale Model Checking

   Chao Wang, Gary D. Hachtel, Fabio Somenzi | Springer-Verlag New York Inc., 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   120.75 €

   Buy
6. 

   Logic Minimization Algorithms for VLSI Synthesis

   Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli | Kluwer Academic Publishers

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   218.27 €

   Buy

You can return within 30 days without giving any reason. Find out more